Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
291	Model-Checking Event Structures, Part 2 Madhavan Mukund Chennai Mathematical Institute http://www.cmi.ac.in/˜madhavan Formal Methods Update Meeting Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2013-03-13 11:24:15
292	Verification of Tree-Processing Programs via Higher-Order Model Checking Hiroshi Unno, Naoshi Tabuchi, and Naoki Kobayashi Tohoku University Abstract. We propose a new method to verify that a higher-order, treeprocessin Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2010-11-22 00:52:19
293	Symbolic Model Checking for Probabilistic Processes Christel Baier1 , Edmund M. Clarke2 ? , Vasiliki Hartonas-Garmhausen2, Marta Kwiatkowska3 and Mark Ryan3 ?? 1 Fakult¨at f¨ur Mathematik & Informatik 2 Department of Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2009-02-25 10:35:23
294	Applications of Craig Interpolants in Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inco Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:10
295	Cache-based Model Checking of Networked Applications: From Linear to Branching Time Cyrille Artho∗ , Watcharin Leungwattanakit†, Masami Hagiya† , Yoshinori Tanabe† , Mitsuharu Yamamoto‡ ∗ Research Center for Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:31:04
296	Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho∗ , Masami Hagiya† , Richard Potter† , Yoshinori Tanabe‡ , Franz Weitl§ , and Mitsuharu Yamamoto§ ∗ Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:31:05
297	Evolutionary Robustness Checking in the Artificial Anasazi Model Forrest Stonedahl and Uri Wilensky Center for Connected Learning and Computer-Based Modeling Northwestern University, Evanston, IL, USA forrest@northwester Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2010-11-17 20:48:50
298	Model checking time-constrained scenario-based specifications∗ S. Akshay1,2 , Paul Gastin1 , Madhavan Mukund2 , and K. Narayan Kumar2 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47
299	Ecient Generation of Counterexamples and Witnesses in Symbolic Model Checking E. M. Clarke O. Grumberg Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:53
300	An Analysis of SAT-based Model Checking Techniques in an Industrial Environment Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan and Kenneth L. McMillan Cadence Design Systems Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:06

UPDATE